Post-Newtonian Gravitational Radiation

1 Introduction 2 Multipole Decomposition 3 Source Multipole Moments 4 Post-Minkowskian Approximation 5 Radiative Multipole Moments 6 Post-Newtonian Approximation 7 Point-Particles 8 ConclusionComment: 46 pages, in Einstein's Field Equations and Their Physical Implications, B. Schmidt (Ed.), Lecture Notes in Physics, Springe

Importance Sampling for multi-constraints rare event probability

Improving Importance Sampling estimators for rare event probabilities requires sharp approx- imations of the optimal density leading to a nearly zero-variance estimator. This paper presents a new way to handle the estimation of the probability of a rare event defined as a finite intersection of subset. We provide a sharp approximation of the density of long runs of a random walk condi- tioned by multiples constraints, each of them defined by an average of a function of its summands as their number tends to infinity.Comment: Conference pape

Semi-supervised Learning based on Distributionally Robust Optimization

We propose a novel method for semi-supervised learning (SSL) based on data-driven distributionally robust optimization (DRO) using optimal transport metrics. Our proposed method enhances generalization error by using the unlabeled data to restrict the support of the worst case distribution in our DRO formulation. We enable the implementation of our DRO formulation by proposing a stochastic gradient descent algorithm which allows to easily implement the training procedure. We demonstrate that our Semi-supervised DRO method is able to improve the generalization error over natural supervised procedures and state-of-the-art SSL estimators. Finally, we include a discussion on the large sample behavior of the optimal uncertainty region in the DRO formulation. Our discussion exposes important aspects such as the role of dimension reduction in SSL

Gravitational Radiation Theory and Light Propagation

The paper gives an introduction to the gravitational radiation theory of isolated sources and to the propagation properties of light rays in radiative gravitational fields. It presents a theoretical study of the generation, propagation, back-reaction, and detection of gravitational waves from astrophysical sources. After reviewing the various quadrupole-moment laws for gravitational radiation in the Newtonian approximation, we show how to incorporate post-Newtonian corrections into the source multipole moments, the radiative multipole moments at infinity, and the back-reaction potentials. We further treat the light propagation in the linearized gravitational field outside a gravitational wave emitting source. The effects of time delay, bending of light, and moving source frequency shift are presented in terms of the gravitational lens potential. Time delay results are applied in the description of the procedure of the detection of gravitational waves

Various features of quasiequilibrium sequences of binary neutron stars in general relativity

Quasiequilibrium sequences of binary neutron stars are numerically calculated in the framework of the Isenberg-Wilson-Mathews (IWM) approximation of general relativity. The results are presented for both rotation states of synchronized spins and irrotational motion, the latter being considered as the realistic one for binary neutron stars just prior to the merger. We assume a polytropic equation of state and compute several evolutionary sequences of binary systems composed of different-mass stars as well as identical-mass stars with adiabatic indices gamma=2.5, 2.25, 2, and 1.8. From our results, we propose as a conjecture that if the turning point of binding energy (and total angular momentum) locating the innermost stable circular orbit (ISCO) is found in Newtonian gravity for some value of the adiabatic index gamma_0, that of the ADM mass (and total angular momentum) should exist in the IWM approximation of general relativity for the same value of the adiabatic index.Comment: Text improved, some figures changed or deleted, new table, 38 pages, 31 figures, accepted for publication in Phys. Rev.

An f˙(f)\dot{f}(f)-frequency dynamics algorithm for gravitational waves

Coalescence of low mass compact binaries of neutron stars and black holes are primary burst sources for LIGO and VIRGO.Of importance in the early stages of observations will be the classification of candidate detections by source-type. The diversity in source parameters and serendipity in any new window of observations suggest to consider model-independent detection algorithms. Here a frequency dynamics algorithm is described which extracts a trajectory in the $\dot{f}(f)$-plane from the noisy signal. The algorithm is studied in simulated binary coalescence. Robust results are obtained with experimental noise data. Experiments show the method to be superior to matched filtering in the presence of model imperfections.Comment: to appear in Rapid Commun, Phys Rev

Gravitomagnetic Effects in the Propagation of Electromagnetic Waves in Variable Gravitational Fields of Arbitrary-Moving and Spinning Bodies

Propagation of light in the gravitational field of self-gravitating spinning bodies moving with arbitrary velocities is discussed. The gravitational field is assumed to be "weak" everywhere. Equations of motion of a light ray are solved in the first post-Minkowskian approximation that is linear with respect to the universal gravitational constant $G$. We do not restrict ourselves with the approximation of gravitational lens so that the solution of light geodesics is applicable for arbitrary locations of source of light and observer. This formalism is applied for studying corrections to the Shapiro time delay in binary pulsars caused by the rotation of pulsar and its companion. We also derive the correction to the light deflection angle caused by rotation of gravitating bodies in the solar system (Sun, planets) or a gravitational lens. The gravitational shift of frequency due to the combined translational and rotational motions of light-ray-deflecting bodies is analyzed as well. We give a general derivation of the formula describing the relativistic rotation of the plane of polarization of electromagnetic waves (Skrotskii effect). This formula is valid for arbitrary translational and rotational motion of gravitating bodies and greatly extends the results of previous researchers. Finally, we discuss the Skrotskii effect for gravitational waves emitted by localized sources such as a binary system. The theoretical results of this paper can be applied for studying various relativistic effects in microarcsecond space astrometry and developing corresponding algorithms for data processing in space astrometric missions such as FAME, SIM, and GAIA.Comment: 36 pages, 1 figure, submitted to Phys. Rev.

Post-Newtonian SPH calculations of binary neutron star coalescence. I. Method and first results

We present the first results from our Post-Newtonian (PN) Smoothed Particle Hydrodynamics (SPH) code, which has been used to study the coalescence of binary neutron star (NS) systems. The Lagrangian particle-based code incorporates consistently all lowest-order (1PN) relativistic effects, as well as gravitational radiation reaction, the lowest-order dissipative term in general relativity. We test our code on sequences of single NS models of varying compactness, and we discuss ways to make PN simulations more relevant to realistic NS models. We also present a PN SPH relaxation procedure for constructing equilibrium models of synchronized binaries, and we use these equilibrium models as initial conditions for our dynamical calculations of binary coalescence. Though unphysical, since tidal synchronization is not expected in NS binaries, these initial conditions allow us to compare our PN work with previous Newtonian results. We compare calculations with and without 1PN effects, for NS with stiff equations of state, modeled as polytropes with $\Gamma=3$. We find that 1PN effects can play a major role in the coalescence, accelerating the final inspiral and causing a significant misalignment in the binary just prior to final merging. In addition, the character of the gravitational wave signal is altered dramatically, showing strong modulation of the exponentially decaying waveform near the end of the merger. We also discuss briefly the implications of our results for models of gamma-ray bursts at cosmological distances.Comment: RevTeX, 37 pages, 17 figures, to appear in Phys. Rev. D, minor corrections onl

Post-Newtonian SPH calculations of binary neutron star coalescence. II. Binary mass ratio, equation of state, and spin dependence

Using our new Post-Newtonian SPH (smoothed particle hydrodynamics) code, we study the final coalescence and merging of neutron star (NS) binaries. We vary the stiffness of the equation of state (EOS) as well as the initial binary mass ratio and stellar spins. Results are compared to those of Newtonian calculations, with and without the inclusion of the gravitational radiation reaction. We find a much steeper decrease in the gravity wave peak strain and luminosity with decreasing mass ratio than would be predicted by simple point-mass formulae. For NS with softer EOS (which we model as simple $\Gamma=2$ polytropes) we find a stronger gravity wave emission, with a different morphology than for stiffer EOS (modeled as $\Gamma=3$ polytropes as in our previous work). We also calculate the coalescence of NS binaries with an irrotational initial condition, and find that the gravity wave signal is relatively suppressed compared to the synchronized case, but shows a very significant second peak of emission. Mass shedding is also greatly reduced, and occurs via a different mechanism than in the synchronized case. We discuss the implications of our results for gravity wave astronomy with laser interferometers such as LIGO, and for theoretical models of gamma-ray bursts (GRBs) based on NS mergers.Comment: RevTeX, 38 pages, 24 figures, Minor Corrections, to appear in Phys. Rev.

Inferring Loop Invariants using Postconditions

One of the obstacles in automatic program proving is to obtain suitable loop invariants. The invariant of a loop is a weakened form of its postcondition (the loop's goal, also known as its contract); the present work takes advantage of this observation by using the postcondition as the basis for invariant inference, using various heuristics such as "uncoupling" which prove useful in many important algorithms. Thanks to these heuristics, the technique is able to infer invariants for a large variety of loop examples. We present the theory behind the technique, its implementation (freely available for download and currently relying on Microsoft Research's Boogie tool), and the results obtained.Comment: Slightly revised versio